package proof;

import formula.Formula;

public class ConclusionProof extends Proof {
    //对于单个formula，其本身也是一个conclusion（For a single formula, which is itself a conclusion）
    public ConclusionProof(Formula conclusion) {
        this.conclusion = conclusion;
    }

    public Formula getConclusion() {
        return conclusion;
    }

    @Override
    public String toLatex() {
        return "{" + conclusion.toString() + "}";
    }

    public String toString() {
        return conclusion.toString();
    }
}
